Unveiling a crystalline topological insulator in a Weyl semimetal with time-reversal symmetry

We consider a natural generalization of the lattice model for a periodic array of two layers, A and B, of spinless electrons proposed by Fu [Phys. Rev. Lett. 106, 106802 (2011)] as a prototype for a crystalline insulator. This model has time-reversal symmetry and broken inversion symmetry. We show that when the intralayer next-nearest-neighbor hoppings ta2, a = A, B vanish, this model supports a Weyl semimetal phase for a wide range of the remaining model parameters. When the effect of ta2 is considered, topological crystalline insulating phases take place within the Weyl semimetal one. By mapping to an effective Weyl Hamiltonian we derive some analytical results for the phase diagram as well as for the structure of the nodes in the spectrum of the Weyl semimetal.Comment: 8 pages, 8 figure

The Impact of Celebrity Fan Club Towards the Willingness to Stay at Hotel XYZ

Tourism industry is one of the most important industry in Indonesia. In Jakarta, five-star hotel has been one of the most promising business. This research is done to know the impact of Celebrity Fan Club campaign towards the willingness to stay at Hotel XYZ. The four source models, which are source credibility model, source attractiveness model, product match-up model and meaning transferability model, are elements that are used to measure the campaign which will impact the willingness to stay. The sample that the author use is anyone who has experienced staying in five-star hotels. There are 76 samples that was gathered in this research using simple random sampling method. The analysis technique that is used in this research is multiple linear regression to know the relationship between the Celebrity Fan Club which is a celebrity endorsement towards the willingness to stay. The research result shows that Celebrity Fan Club significantly impact the willingness to stay

On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals

The importance of the Electronic Health Record (EHR) has been addressed in recent years by governments and institutions.Many large scale projects have been funded with the aim to allow healthcare professionals to consult patients data. Properties such as confidentiality, authentication and authorization are the key for the success for these projects. The Integrating the Healthcare Enterprise (IHE) initiative promotes the coordinated use of established standards for authenticated and secure EHR exchanges among clinics and hospitals. In particular, the IHE integration profile named XUA permits to attest user identities by relying on SAML assertions, i.e. XML documents containing authentication statements. In this paper, we provide a formal model for the secure issuance of such an assertion. We first specify the scenario using the process calculus COWS and then analyse it using the model checker CMC. Our analysis reveals a potential flaw in the XUA profile when using a SAML assertion in an unprotected network. We then suggest a solution for this flaw, and model check and implement this solution to show that it is secure and feasible